(format t "hello world!~%")
